Extendibility, Monodromy, and Local Triviality for Topological Groupoids

A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all maps of groupoid structure are continuous. The notion of monodromy groupoid of a topological groupoid generalizes those of fundamental groupoid and universal cover. It was earlier proved that the monodromy groupoid of a locally sectionable topological groupoid has the structure of a topological groupoid satisfying some properties. In this paper a similar problem is studied for compatible locally trivial topological groupoids. 2000 Mathematics Subject Classification. 22A05, 22A22, 58H05.